منابع مشابه
Ii Locales
This chapter is an introduction to the basic concepts, constructions, and results concerning locales. Locales (frames) are the object of study of the so called pointfree topology. They sufficiently resemble the lattices of open sets of topological spaces to allow the treatment of many topological questions. One motivation for the theory of locales is building topology on the intuition of “place...
متن کاملInterpretation of Locales in Isabelle: Managing Dependencies between Locales
Locales are the theory development modules of the Isabelle proof assistant. Interpretation is a powerful technique of theorem reuse which facilitates their automatic transport to other contexts. This paper is concerned with the interpretation of locales in the context of other locales. Our main concern is to make interpretation an effective tool in an interactive proof environment. Interpretati...
متن کاملCompactly generated Hausdorff locales
We say that a Hausdorff locale is compactly generated if it is the colimit of the diagram of its compact sublocales connected by inclusions. We show that this is the case if and only if the natural map of its frame of opens into the second Lawson dual is an isomorphism. More generally, for any Hausdorff locale, the second dual of the frame of opens gives the frame of opens of the colimit. In or...
متن کاملCohérences Locales Paramétrées ∗
Les solveurs de contraintes maintiennent uniformément le même niveau de cohérence locale (généralement la cohérence d’arc) indépendamment de l’instance du problème à résoudre. Nous proposons le concept de cohérence locale paramétrée, une approche originale qui permet d’ajuster le niveau de cohérence locale en fonction de l’instance du problème à résoudre et en fonction de la partie du problème ...
متن کاملLinear Structures on Locales
We define a notion of morphism for quotient vector bundles that yields both a category QVBun and a contravariant global sections functor C : QVBun → Vect whose restriction to trivial vector bundles with fiber F coincides with the contravariant functor Top → Vect of F -valued continuous functions. Based on this we obtain a linear extension of the adjunction between the categories of topological ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Chinese Science Bulletin
سال: 1990
ISSN: 0023-074X
DOI: 10.1360/csb1990-35-2-155